'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON MAY 2, 1983, AT 1:21 PM

;Loading DEFSTRUCT 280
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP |ISA-QUANT-TERM MACRO| SUBR)) 
	(COMMENT **FASL** 316. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 343. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 371. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 403. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 442. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 480. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 529. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 584. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 633. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 687. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 725. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 751. (LAP |BUTLAST MACRO| SUBR)) 
	(COMMENT **FASL** 782. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 822. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 858. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 923. (LAP |ALL MACRO| SUBR)) 
	(COMMENT **FASL** 991. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 1041. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1098. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1157. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1201. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1328. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1428. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1439. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1440. (LAP E-LIN-C SUBR)) 
	(COMMENT **FASL** 1444. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1454. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 1747. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 1878. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 1983. (LAP CREATE-LT-WFF-NEGATION SUBR)) 
	(COMMENT **FASL** 1999. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2042. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2069. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2129. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2159. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 2376. (LAP LINTYPE* SUBR)) 
	(COMMENT **FASL** 2540. (LAP |UQ-KERNEL MACRO| SUBR)) 
	(COMMENT **FASL** 2571. (LAP |UQ-⊃-KERNEL MACRO| SUBR)) 
	(COMMENT **FASL** 2602. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2813. (LAP LT-TYPE* SUBR)) 
	(COMMENT **FASL** 2999. (LAP LT-QQU-TYPE SUBR)) 
(COMMENT ****  (CURRENTPOS NIL) 
		Binding number variable to NIL may be a bug in function DISPLAY)
	(COMMENT **FASL** 3144. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 3169. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 3186. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 3213. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3342. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3535. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3567. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4326. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4357. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4395. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4502. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4539. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4566. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4594. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4658. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 4667. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 5037. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 5307. (LAP PRIN-λ-PREFIX SUBR)) 
	(COMMENT **FASL** 5375. (LAP TAB SUBR)) 
	(COMMENT **FASL** 5405. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 5421. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5451. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5480. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5533. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5584. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5609. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 5701. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 5775. (LAP CREATE-F-DESCRIPTS SUBR)) 
	(COMMENT **FASL** 5845. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 5888. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 5933. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 5966. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 5971. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 6292. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 6363. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 6866. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 7143. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 9513. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 9555. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 9757. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 9807. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 9842. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 9886. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 10085. (LAP |ISA-SUPERSORT-OF MACRO| SUBR)) 
	(COMMENT **FASL** 10125. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 10267. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 10300. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 10382. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 10398. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 10435. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 10443. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 10454. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 10732. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 10800. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 10805. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 10807. (LAP COMPARE-ARGS SUBR)) 
	(COMMENT **FASL** 11112. (LAP CA-PUNT SUBR)) 
	(COMMENT **FASL** 11134. (LAP COMPARE-PFC-FORMULAS SUBR)) 
	(COMMENT **FASL** 11224. (LAP COMPARE-VECTORS SUBR)) 
	(COMMENT **FASL** 11272. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 11292. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 11330. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 11336. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 11355. (LAP SOME-DUPLICATE-IK-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 11443. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 11918. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 12033. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 12104. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 12153. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 12194. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 12309. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 12357. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 12398. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 12436. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 12473. (LAP KEYNUMBER SUBR)) 
(COMMENT ****  (EXPRS-LENGTH NIL) 
		Binding number variable to NIL may be a bug in function POSPRINC)
	(COMMENT **FASL** 12490. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 12558. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 12581. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 12881. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 12967. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 13128. (LAP INADVERTENT-TRANSFER-CHECK SUBR)) 
	(COMMENT **FASL** 13217. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 13242. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 13653. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 13892. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 14014. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 14188. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
	(COMMENT **FASL** 14254. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 14423. (LAP COUNT-LINKS&LEAVES SUBR)) 
	(COMMENT **FASL** 14498. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 14796. (LAP DISPLAY-HELP-TABLE-ENTRY LSUBR)) 
	(COMMENT **FASL** 14912. (LAP DISPLAY-TRANSFER-COMMANDS SUBR)) 
	(COMMENT **FASL** 15010. (LAP XPDN-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 15037. (LAP DISPLAY-XPDN-COMMANDS SUBR)) 
	(COMMENT **FASL** 15056. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 15230. (LAP ISA-SIMPLE-SORT-PROPO SUBR)) 
	(COMMENT **FASL** 15261. (LAP SORTALLY-CERTAIN? SUBR)) 
	(COMMENT **FASL** 15277. (LAP SORTALLY-NEG-CERTAIN? SUBR)) 
	(COMMENT **FASL** 15351. (LAP LT-EVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  15583. WORDS)